1. Advances in systems safety
Author: / Chris Dale, Tom Anderson, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Industrial safety--Management--Congresses,Automatic control--Reliability--Congresses,Computer software--Reliability--Congresses
Classification :
T
,
55
,.
A1
,
S225
,
2011


2. Advances in systems safety
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Industrial safety ; Management ; Congresses. ; Automatic control ; Reliability ; Congresses. ; Computer software ; Reliability ; Congresses. ;

3. COMPASS '93: Proceedings of the Einth Annual Conference on Computer assurance,June 14-17 ,1993,national Institute of standard and technology ,gaithersbury,MD
Author: / COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software - Reliability - Congresses,Computers - Reliability - Congresses
Classification :
QA76
.
R44


4. COMPASS 94: Proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standard and Technology, Gaithersbury, MD
Author: COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council; in cooperation with British Computer Society
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Reliability - Congresses , Computers - Reliability - Congresses
Classification :
QA
76
.
R44
A56
1994


5. Computer safety, reliability, and securit
Author: / Michael D. Harrison, Mark-Alexander Sujan (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Reliability--Congresses,Electronic digital computers--Reliability--Congresses,Computer security--Congresses,Industrial safety--Congresses
Classification :
QA
,
76
.
76
,.
R44
,
S23
,
2008
TJ
,
212
.
2
,.
I545
,
2008


6. Computer safety, reliability, and security
Author: / Erwin Schoitsch (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Reliability--Congresses,Electronic digital computers--Reliability--Congresses,Computer security--Congresses,Industrial safety--Congresses
Classification :
QA
,
76
.
76
,.
R44
,
I55
,
2010


7. Computer safety, reliability, and security
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Reliability ; Congresses. ; Electronic digital computers ; Reliability ; Congresses. ; Computer security ; Congresses. ; Industrial safety ; Congresses. ;

8. Computer safety, reliability, and security
Author: / Erwin Schoitsch (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer software, Reliability, Congresses,Electronic digital computers, Reliability, Congresses,Computer security, Congresses,Industrial safety, Congresses
Classification :
QA76
.
76
.
R44
2010


9. Computer safety, reliability, and security
Author: Frank Ortmeier, Peter Daniel (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
R44
S24
2012eb


10. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings
Author: Stuart Anderson, Massimo Felici, Bev Littlewood )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
L28
Vol
.
2788


11. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,Reliability --Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
L28
Vol
.
3219


12. Computer safety, reliability, and security: 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
76
.
R44
.
S23
2004


13. Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings
Author: Rune Winther, Bjorn Axel Gran, Gustav Dahll )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
L28
Vol
.
3688


14. Computer safety, reliability, and security : 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings
Author: Floor Koornneef, Meine van der Meulen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
L28
Vol
.
1943


15. Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
Author: Udo Voges )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
L28
Vol
.
2187


16. Computer safety, reliability, and security: 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
Classification :
QA
76
.
76
.
R44
.
S23
2005


17. Dependable software systems engineering /
Author: edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
Classification :
QA76
.
758


18. Developments in risk-based approaches to safety
Author: Felix Redmill and Tom Anderson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Reliability, Congresses.,Computer software-- Reliability, Congresses.,Industrial safety-- Management, Congresses.
Classification :
T55
.
S2145
2006eb


19. Error- free Software
Author: / Robert Laurence Baber,Baber
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer software-- Reliability-- Congresses,Computer Software-- Development
Classification :
QA
76
.
76
.
R44B33
1991


20. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb

